Joost-Pieter Katoen
I am full professor at the
RWTH Aachen University
in the
Software Modeling and Verification (MOVES)
group and part-time associated to the
Formal Methods & Tools
group at the
University of Twente
.
Since 2013, I hold a distinguished professorship at RWTH Aachen University and am member of the Academia Europaea.
For more information consider my
CV
. Personal interests: my family,
cycling
and music (passive).
Book:
Principles of Model Checking
MIT Press, May 2008 (
table of contents
and
errata
)
Publications:
list of papers
citeseer
scholar.google
DBLP
Quadsearch
Microsoft Academic Search
Events:
Probabilistic Programming Summer School 17 LiVe 16: Learning in Verification
TCQV 16
Trends in Probabilistic Programming 15
CARP 13
CONCUR 11
QEST 11
QMC 10
YR-CONCUR 09
COMPASS 09
WAL 07
VOSS 07
QAES 07
25Y Process Algebra
QEST 04
MBT 04
VOSS 02
FMPA 00
ARTS 99
Tools:
PROPHESY
PRINSYS
COMPASS
MRMC
MOTOR
SMYLE
libalf
Selected invited talks:
ICTAC 17
MOD 17
LICS 16
NETYS 16
WATA 16
CAV 15
ATVA 15
SEFM 14
CONCUR 13
ACSD+PN 12
iFM/ABZ 12
LSV15Y
RP 11
FMICS 11
VTSA 11
FSEN 11
VMCAI 10
FMWEEK 09
FMCO 09
NWPT 09
TASE 08
FORMATS 07
Selected Programme Committees:
ATVA 17
SafeComp 17
 
CSL 17
LATA 17
PSI 17
FM 16
HSCC 16
CAV 16
ICALP 16
Petri Nets 16
CONCUR 15
CAV 15
FORMATS 15
PSI 15
Petri Nets 15
SEFM 15
FSEN 15
ATVA 14
MOVEP 14
PSI 14
FORMATS 14
Petri Nets 14
TACAS 14
CAV 13
ATVA 13
FORTE/FMOODS 13
TACAS 13
LATA 13
FSEN 13
MOVEP 12
ATVA 12
QEST 12
QFM 2012
CIAA 12
FMICS 12
FOSSACS 12
MMB 12
CAV 11
CONCUR 11 (chair)
PSI 11
ICALP 11
FASE 11
ISOLA 10
CONCUR 10
MOVEP 10
NSMC 10
QEST 10
RP 10
TACAS 10
MMB 10
Steering committees/editorial boards:
CONCUR
 
ETAPS (chair)
FORMATS
STTT
QEST
PeerJ
Scientific organizations:
IFIP WG 1.8
IFIP WG 2.2
ACM
(senior member)
Teaching:
Probabilistic Programming
Model Checking
Advanced Model Checking
Theory of UML
Concurrency Theory
Modeling and Verifying Probabilistic Systems
 
Data Structures and Algorithms
 
Editorship:
edited volumes
PhD graduates:
Dino Distefano
Friedrich Gretz
Tingting Han
Jonathan Heinen Hongfei Fu
David N. Jansen
Marijn Jongerden
Carsten Kern
Daniel Klink
Alexandru Mereacre
Martin Neuhaeusser
Viet Yen Nguyen
Stefan Rieger
Arpit Sharma Falak Sher  
Mark Timmer
Haidi Yue
Ivan S. Zapreev
Contact:
Prof. Dr. Ir. Joost-Pieter Katoen, PDEng
RWTH Aachen University
LS2: Software Modeling and Verification
D-52056 Aachen (Germany)
Tel: +49 (241) 8021200
Secretary: +49 (241) 8021201
Fax: +49 (241) 8022217
Updated on December 7, 2016